-- Expected output: false
DEF MAIN:bool == not(true)

